『 [2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化:証明の正規化と証明支援系」 』
↑
CAPE公開セミナー
←
『[2021CAPE公開セミナー]論理学上級 Ⅱ-3 証明論的意味論としてのマーティン・レーフの構成的型理論』
https://www.youtube.com/watch?v=BXMMzRkDbac
#文献